RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland

Source URL: mp.binaervarianz.de

• Data types
• Object-oriented programming
• Iterator
• Object
• Communications protocol
• Application programming interface
• Objective-C
• Type system
• Software bug
• Class

PDF Document

Source URL: mp.binaervarianz.de

• Software engineering
• Type theory
• Computer programming
• Statistics
• Subroutines
• Quantitative marketing research
• Statistical inference
• Parameter
• Variable
• Type system
• Application programming interface
• Confidence interval

PDF Document

Source URL: homes.soic.indiana.edu

• Type theory
• Functional languages
• Type systems
• Procedural programming languages
• Lambda calculus
• Type inference
• Monad
• ML
• HindleyMilner type system
• Functional programming
• Parallel computing
• Unification

PDF Document

Source URL: mp.binaervarianz.de

• Software testing
• Software engineering
• Computing
• Theoretical computer science
• Application programming interface
• Runtime verification
• Test automation
• Software bug
• Unit testing
• MAPI
• Type system
• Random testing

PDF Document

Source URL: ngtoc.usgs.gov

• GIS software
• Geography
• Geographic data and information
• Web mapping
• Computing
• JavaScript libraries
• Keyhole Markup Language
• ArcGIS
• OpenLayers
• Geographic information system
• Application programming interface

Introduction to System Programming Yaniv Hamo, CS Department date.h

Source URL: www.yanivhamo.com

On Supporting Parallelism in a Logic Programming System V´ıtor Santos Costa1 1 CRACS and DCC-FCUP

Source URL: clip.dia.fi.upm.es

System calls for using TCP Client Server so ket – make socket

Source URL: www.scs.stanford.edu

• C programming language
• C++
• C POSIX library
• Epoll
• Unix
• Select
• Callback
• Struct
• Write
• Software engineering
• Computing
• Computer programming

CS140 Operating Systems and Systems Programming Midterm Exam February 10th, 2006 (Total time = 50 minutes, Total Points = 50) Name: (please print)______________________________ In recognition of and in the spirit of the

Source URL: www.scs.stanford.edu

• Interrupts
• Central processing unit
• Memory management
• Scheduling
• Load
• Lock
• System time
• Tick
• Page table
• Computer architecture
• Computing
• Virtual memory